#include "libc/sysv/macros.internal.h"
.scall sys_reboot,0x0d003703720370a9,142,55,55,globl,hidden
